Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

ENDURING LITERATURE ILLUMINATED BY PRACTICAL SCHOLARSHIP The poignant story of a woman who pursues love outside of her restrictive marriage in turn-of-the-century New Orleans EACH ENRICHED CLASSIC EDITION INCLUDES: ·A concise introduction that gives readers important background information ·A chronology of the author's life and work ·A timeline of significant events that provi...(展开全部)

Alejandro de la Sota was born in 1913, and so belongs to the same generation as Jorn Utzon, Denys Lasdun, Aldo van Eyck and Jose Maria Coderch. But it is only in recent years that his work has become known outside Spain. It is an oeuvre of impressive consistency, combining a naked abstraction with a rigorous interest in the character of materials. While Sota clearly drew many l...(展开全部)

Alejandro de la Sota was born in 1913, and so belongs to the same generation as Jorn Utzon, Denys Lasdun, Aldo van Eyck and Jose Maria Coderch. But it is only in recent years that his work has become known outside Spain. It is an oeuvre of impressive consistency, combining a naked abstraction with a rigorous interest in the character of materials. While Sota clearly drew many l...(展开全部)

Living at the limits of our ordinary perception, mosses are a common but largely unnoticed element of the natural world. Gathering Moss is a beautifully written mix of science and personal reflection that invites readers to explore and learn from the elegantly simple lives of mosses.Robin Wall Kimmerer's book is not an identification guide, nor is it a scientific treatise. Rath...(展开全部)

Living at the limits of our ordinary perception, mosses are a common but largely unnoticed element of the natural world. Gathering Moss is a beautifully written mix of science and personal reflection that invites readers to explore and learn from the elegantly simple lives of mosses.Robin Wall Kimmerer's book is not an identification guide, nor is it a scientific treatise. Rath...(展开全部)

In Brilliant Imperfection Eli Clare uses memoir, history, and critical analysis to explore cure—the deeply held belief that body-minds considered broken need to be fixed. Cure serves many purposes. It saves lives, manipulates lives, and prioritizes some lives over others. It provides comfort, makes profits, justifies violence, and promises resolution to body-mind loss. Clare gr...(展开全部)

In Brilliant Imperfection Eli Clare uses memoir, history, and critical analysis to explore cure—the deeply held belief that body-minds considered broken need to be fixed. Cure serves many purposes. It saves lives, manipulates lives, and prioritizes some lives over others. It provides comfort, makes profits, justifies violence, and promises resolution to body-mind loss. Clare gr...(展开全部)